#include	<stdio.h>
int main(void)
{
	int c1, c2;
	scanf("%d%d", &c1, &c2);
	int ans = c2 - c1;
	if (ans % 100 >= 50)
	{
		ans = ans / 100 + 1;
	}
	else
	{
		ans = ans / 100;
	}
	printf("%02d:%02d:%02d\n", ans / 3600, ans % 3600 / 60, ans % 60);
	return 0;
}
